Bounded, minimal, and short representations of unit interval and unit circular-arc graphs. Chapter I: theory

This is the first of two chapters of a work in which we consider the unrestricted, minimal, and bounded representation problems for unit interval (UIG) and unit circular-arc (UCA) graphs. In the unrestricted version, a proper circular-arc (PCA) modelM is given and the goal is to obtain an equivalent UCA model U . In the bounded version,M is given together with some lower and upper bounds that the beginning points of U must satisfy. In the minimal version, we have to find a minimal model equivalent to M, in which the circumference of the circle and length of the arcs must be simultaneously as small as possible. In this chapter we motivate these problems from an historical perspective, and we develop the theoretical framework required for the algorithms in Chapter II. We present new characterizations of those PCA models that have equivalent UCA models, and of those UCA models with a circle of circumference c and the arcs of length `. We also prove that every UCA model is equivalent to a minimal one. We remark that all our results are of an algorithmic nature and can be readily employed to solve the problems at hand, even though these algorithms are not as efficient as those in Chapter II. Submitted: February 2016 Reviewed: October 2016 Revised: October 2016 Accepted: February 2017 Final: February 2017 Published: April 2017 Article type: Regular paper Communicated by: S. Whitesides Supported by PICT ANPCyT grants 2013-2205 and 2015-2419, and by PUNQ Grant 1451/15. E-mail address: [email protected] (Francisco J. Soulignac) 456 Soulignac Representations of UIG and UCA graphs. Theory.